翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

connective constant : ウィキペディア英語版
connective constant
In mathematics, the connective constant is a numerical quantity associated with self-avoiding walks on a lattice. It is studied in connection with the notion of universality in two-dimensional statistical physics models. While the connective constant depends on the choice of lattice so itself is not universal (similarly to other lattice-dependent quantities such as the critical probability threshold for percolation), it is nonetheless an important quantity that appears in conjectures for universal laws. Furthermore, the mathematical techniques used to understand the connective constant, for example in the recent rigorous proof by Duminil-Copin and Smirnov that the connective constant of the hexagonal lattice has the precise value \sqrt}〕 to a possible approach for attacking other important open problems in the study of self-avoiding walks, notably the conjecture that self-avoiding walks converge in the scaling limit to the Schramm–Loewner evolution.
==Definition==
The connective constant is defined as follows. Let c_n denote the number of ''n''-step self-avoiding walks starting from a fixed origin point in the lattice. Since every ''n'' + ''m'' step self avoiding walk can be decomposed into an ''n''-step self-avoiding walk and an m-step self-avoiding walk, it follows that c_ \leq c_n c_m . Then by applying Fekete's lemma to the logarithm of the above relation, the limit \mu = \lim_ c_n^ can be shown to exist. This number \mu is called the connective constant, and clearly depends on the particular lattice chosen for the walk since c_n does. The value of \mu is precisely known only for two lattices, see below. For other lattices, \mu has only been approximated numerically. It is conjectured that c_n \approx \mu^n n^ as n goes to infinity, where \mu depends on the lattice, but the critical exponent \gamma is universal (it depends on dimension, but not the specific lattice). In 2-dimensions it is conjectured that \gamma = 43/32
〕〔

==Known values〔
〕==
These values are taken from the 1998 Jensen–Guttmann paper. The connective constant of the (3.12^2) lattice, since each step on the hexagonal lattice corresponds to either two or three steps in it, can be expressed exactly as a root of the polynomial
: x^ - 4x^8 - 8x^7 - 4x^6 + 2x^4 + 8x^3 + 12x^2 + 8x + 2
given the exact expression for the hexagonal lattice connective constant. More information about these lattices can be found in the percolation threshold article.
==Duminil-Copin–Smirnov proof==
In 2010, Hugo Duminil-Copin and Stanislav Smirnov published the first rigorous proof of the fact that \mu=\sqrt(a,b) as the total rotation of the direction in radians when \gamma is traversed from a to b. The aim of the proof is to show that the partition function
: Z(x)=\sum_x^ = \sum_^c_n x^n
converges for x and diverges for x>x_c where the critical parameter is given by x_c=1/ \sqrt}.
Given a domain \Omega in the hexagonal lattice, a starting mid-edge a, and two parameters x and \sigma, we define the parafermionic observable
F(z)=\sum_ e^x^.
If x = x_c= 1/\sqrt with 2L cells forming the left hand side, T cells across, and upper and lower sides at an angle of \pm \pi/3. (Picture needed.) We embed the hexagonal lattice in the complex plane so that the edge lengths are 1 and the mid-edge in the center of the left hand side is positioned at −1/2. Then the vertices in S_ are given by
: V(S_)=\, \; |\sqrtIm(z)-Re(z)| \leq 3L\}.
We now define partition functions for self-avoiding walks starting at a and ending on different parts of the boundary. Let \alpha denote the left hand boundary, \beta the right hand boundary, \epsilon the upper boundary, and \bar the lower boundary. Let
:
A_^x:=\sum_} x^,\quad
B_^x:=\sum_ x^, \quad
E_^x:=\sum_} x^.

By summing the identity
: (p-v)F(p) + (q-v)F(q) + (r-v)F(r) = 0
over all vertices in V(S_) and noting that the winding is fixed depending on which part of the boundary the path terminates at, we can arrive at the relation
: 1= \cos(3\pi/8) A_^ + B_^ + \cos(\pi/4) E_^
after another clever computation. Letting L\to\infty, we get a strip domain S_T and partition functions
:
A_^x:=\sum_} x^,\quad
B_^x:=\sum_ x^, \quad
E_^x:=\sum_} x^.

It was later shown that E_^=0, but we do not need this for the proof.〔

We are left with the relation
: 1= \cos(3\pi/8) A_^ + B_^.
From here, we can derive the inequality
: A_^ - A_^ \leq x_c (B_^)^2
And arrive by induction at a strictly positive lower bound for B_^ . Since Z(x_c)\geq\sum_B_T^ =\infty, we have established that \mu\geq 1/\sqrt<\cdots < T_ and T_0>\cdots > T_j. Note that we can bound
: B_T^x\leq (x/x_c)^T B_T^\leq (x/x_c)^T
which implies \prod_(1+B_T^x)<\infty.
Finally, it is possible to bound the partition function by the bridge partition functions
: Z(x)\leq \sum_,\; T_0>\cdots > T_j} 2 \left(\prod_^j B_^x\right) = 2\left(\prod_(1+B_T^x)\right)^2<\infty.
And so, we have that \mu = \sqrt{2+\sqrt{2}} as desired.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「connective constant」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.